Anveshak - A Groundtruth Generation Tool for Foreground Regions of Document Images

We propose a graphical user interface based groundtruth generation tool in this paper. Here, annotation of an input document image is done based on the foreground pixels. Foreground pixels are grouped together with user interaction to form labeling units. These units are then labeled by the user with the user defined labels. The output produced by the tool is an image with an XML file containing its metadata information. This annotated data can be further used in different applications of document image analysis.Comment: Accepted in DAR 201

Speeding up Simplification of Polygonal Curves using Nested Approximations

We develop a multiresolution approach to the problem of polygonal curve approximation. We show theoretically and experimentally that, if the simplification algorithm A used between any two successive levels of resolution satisfies some conditions, the multiresolution algorithm MR will have a complexity lower than the complexity of A. In particular, we show that if A has a O(N2/K) complexity (the complexity of a reduced search dynamic solution approach), where N and K are respectively the initial and the final number of segments, the complexity of MR is in O(N).We experimentally compare the outcomes of MR with those of the optimal "full search" dynamic programming solution and of classical merge and split approaches. The experimental evaluations confirm the theoretical derivations and show that the proposed approach evaluated on 2D coastal maps either shows a lower complexity or provides polygonal approximations closer to the initial curves.Comment: 12 pages + figure

LNCS

We present two algorithmic approaches for synthesizing linear hybrid automata from experimental data. Unlike previous approaches, our algorithms work without a template and generate an automaton with nondeterministic guards and invariants, and with an arbitrary number and topology of modes. They thus construct a succinct model from the data and provide formal guarantees. In particular, (1) the generated automaton can reproduce the data up to a specified tolerance and (2) the automaton is tight, given the first guarantee. Our first approach encodes the synthesis problem as a logical formula in the theory of linear arithmetic, which can then be solved by an SMT solver. This approach minimizes the number of modes in the resulting model but is only feasible for limited data sets. To address scalability, we propose a second approach that does not enforce to find a minimal model. The algorithm constructs an initial automaton and then iteratively extends the automaton based on processing new data. Therefore the algorithm is well-suited for online and synthesis-in-the-loop applications. The core of the algorithm is a membership query that checks whether, within the specified tolerance, a given data set can result from the execution of a given automaton. We solve this membership problem for linear hybrid automata by repeated reachability computations. We demonstrate the effectiveness of the algorithm on synthetic data sets and on cardiac-cell measurements

Functional significance may underlie the taxonomic utility of single amino acid substitutions in conserved proteins

We hypothesized that some amino acid substitutions in conserved proteins that are strongly fixed by critical functional roles would show lineage-specific distributions. As an example of an archetypal conserved eukaryotic protein we considered the active site of ß-tubulin. Our analysis identified one amino acid substitution—ß-tubulin F224—which was highly lineage specific. Investigation of ß-tubulin for other phylogenetically restricted amino acids identified several with apparent specificity for well-defined phylogenetic groups. Intriguingly, none showed specificity for “supergroups” other than the unikonts. To understand why, we analysed the ß-tubulin Neighbor-Net and demonstrated a fundamental division between core ß-tubulins (plant-like) and divergent ß-tubulins (animal and fungal). F224 was almost completely restricted to the core ß-tubulins, while divergent ß-tubulins possessed Y224. Thus, our specific example offers insight into the restrictions associated with the co-evolution of ß-tubulin during the radiation of eukaryotes, underlining a fundamental dichotomy between F-type, core ß-tubulins and Y-type, divergent ß-tubulins. More broadly our study provides proof of principle for the taxonomic utility of critical amino acids in the active sites of conserved proteins

Numerical Hermitian Yang-Mills Connections and Kahler Cone Substructure

We further develop the numerical algorithm for computing the gauge connection of slope-stable holomorphic vector bundles on Calabi-Yau manifolds. In particular, recent work on the generalized Donaldson algorithm is extended to bundles with Kahler cone substructure on manifolds with h^{1,1}>1. Since the computation depends only on a one-dimensional ray in the Kahler moduli space, it can probe slope-stability regardless of the size of h^{1,1}. Suitably normalized error measures are introduced to quantitatively compare results for different directions in Kahler moduli space. A significantly improved numerical integration procedure based on adaptive refinements is described and implemented. Finally, an efficient numerical check is proposed for determining whether or not a vector bundle is slope-stable without computing its full connection.Comment: 38 pages, 10 figure

Gravity waves and the LHC: Towards high-scale inflation with low-energy SUSY

It has been argued that rather generic features of string-inspired inflationary theories with low-energy supersymmetry (SUSY) make it difficult to achieve inflation with a Hubble scale H > m_{3/2}, where m_{3/2} is the gravitino mass in the SUSY-breaking vacuum state. We present a class of string-inspired supergravity realizations of chaotic inflation where a simple, dynamical mechanism yields hierarchically small scales of post-inflationary supersymmetry breaking. Within these toy models we can easily achieve small ratios between m_{3/2} and the Hubble scale of inflation. This is possible because the expectation value of the superpotential relaxes from large to small values during the course of inflation. However, our toy models do not provide a reasonable fit to cosmological data if one sets the SUSY-breaking scale to m_{3/2} < TeV. Our work is a small step towards relieving the apparent tension between high-scale inflation and low-scale supersymmetry breaking in string compactifications.Comment: 21+1 pages, 5 figures, LaTeX, v2: added references, v3: very minor changes, version to appear in JHE

Desensitizing Inflation from the Planck Scale

A new mechanism to control Planck-scale corrections to the inflationary eta parameter is proposed. A common approach to the eta problem is to impose a shift symmetry on the inflaton field. However, this symmetry has to remain unbroken by Planck-scale effects, which is a rather strong requirement on possible ultraviolet completions of the theory. In this paper, we show that the breaking of the shift symmetry by Planck-scale corrections can be systematically suppressed if the inflaton field interacts with a conformal sector. The inflaton then receives an anomalous dimension in the conformal field theory, which leads to sequestering of all dangerous high-energy corrections. We analyze a number of models where the mechanism can be seen in action. In our most detailed example we compute the exact anomalous dimensions via a-maximization and show that the eta problem can be solved using only weakly-coupled physics.Comment: 34 pages, 3 figures

Heuristics-based detection to improve text/graphics segmentation in complex engineering drawings.

The demand for digitisation of complex engineering drawings becomes increasingly important for the industry given the pressure to improve the efficiency and time effectiveness of operational processes. There have been numerous attempts to solve this problem, either by proposing a general form of document interpretation or by establishing an application dependant framework. Moreover, text/graphics segmentation has been presented as a particular form of addressing document digitisation problem, with the main aim of splitting text and graphics into different layers. Given the challenging characteristics of complex engineering drawings, this paper presents a novel sequential heuristics-based methodology which is aimed at localising and detecting the most representative symbols of the drawing. This implementation enables the subsequent application of a text/graphics segmentation method in a more effective form. The experimental framework is composed of two parts: first we show the performance of the symbol detection system and then we present an evaluation of three different state of the art text/graphic segmentation techniques to find text on the remaining image

Regulation of oligodendrocyte progenitor cell maturation by PPARδ: effects on bone morphogenetic proteins

In EAE (experimental autoimmune encephalomyelitis), agonists of PPARs (peroxisome proliferator-activated receptors) provide clinical benefit and reduce damage. In contrast with PPARγ, agonists of PPARδ are more effective when given at later stages of EAE and increase myelin gene expression, suggesting effects on OL (oligodendrocyte) maturation. In the present study we examined effects of the PPARδ agonist GW0742 on OPCs (OL progenitor cells), and tested whether the effects involve modulation of BMPs (bone morphogenetic proteins). We show that effects of GW0742 are mediated through PPARδ since no amelioration of EAE clinical scores was observed in PPARδ-null mice. In OPCs derived from E13 mice (where E is embryonic day), GW0742, but not the PPARγ agonist pioglitazone, increased the number of myelin-producing OLs. This was due to activation of PPARδ since process formation was reduced in PPARδ-null compared with wild-type OPCs. In both OPCs and enriched astrocyte cultures, GW0742 increased noggin protein expression; however, noggin mRNA was only increased in astrocytes. In contrast, GW0742 reduced BMP2 and BMP4 mRNA levels in OPCs, with lesser effects in astrocytes. These findings demonstrate that PPARδ plays a role in OPC maturation, mediated, in part, by regulation of BMP and BMP antagonists